Cavalli, Ana Rosa: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Guest Editorial: Special issue on Testing Software and Systems

Yenigun, Husnu, Yevtushenko, Nina, Cavalli, Ana Rosa

Journal:

Software Quality Journal

Year:

2019

Language:

english

File:

PDF, 106 KB

english, 2019

2

Advanced Topics on SDL and MSC

Ana Rosa Cavalli

Journal:

Computer Networks

Year:

1999

Language:

english

File:

PDF, 39 KB

english, 1999

3

InRob: An approach for testing interoperability and robustness of real-time embedded software

Fátima Mattiello-Francisco, Eliane Martins, Ana Rosa Cavalli, Edgar Toshiro Yano

Journal:

Journal of Systems and Software

Year:

2012

Language:

english

File:

PDF, 572 KB

english, 2012

4

[IEEE 2008 IEEE International Conference on Signal Image Technology and Internet Based Systems (SITIS) - Bali, Indonesia (2008.11.30-2008.12.3)] 2008 IEEE International Conference on Signal Image Technology and Internet Based Systems - Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study

Mallouli, Wissam, Lallali, Mounir, Morales, Gerardo, Cavalli, Ana Rosa

Year:

2008

Language:

english

File:

PDF, 425 KB

english, 2008

5

[IEEE 2008 12th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT) - Vancouver, BC, Canada (2008.10.27-2008.10.29)] 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications - Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints

Cavalli, Ana Rosa, Oca, Edgardo Montes De, Mallouli, Wissam, Lallali, Mounir

Year:

2008

Language:

english

File:

PDF, 191 KB

english, 2008

6

[IEEE 2008 IEEE International Conference on Signal Image Technology and Internet Based Systems (SITIS) - Bali, Indonesia (2008.11.30-2008.12.3)] 2008 IEEE International Conference on Signal Image Technology and Internet Based Systems - Interoperability of Context Based System Policies Using O2O Contract

Coma, Céline, Cuppens-Boulahia, Nora, Cuppens, Frédéric, Cavalli, Ana Rosa

Year:

2008

Language:

english

File:

PDF, 1.39 MB

english, 2008

7

[IEEE 2008 12th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT) - Vancouver, BC, Canada (2008.10.27-2008.10.29)] 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications - Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines

Mallouli, Wissam, Mammar, Amel, Cavalli, Ana Rosa

Year:

2008

Language:

english

File:

PDF, 408 KB

english, 2008

8

[IEEE 2008 Third International Conference on Availability, Reliability and Security - (2008.03.4-2008.03.7)] 2008 Third International Conference on Availability, Reliability and Security - Context Ontology for Secure Interoperability

Coma, C, Cuppens-Boulahia, Nora, Cuppens, Fr, Cavalli, Ana-Rosa

Year:

2008

Language:

english

File:

PDF, 293 KB

english, 2008

9

[IEEE 2015 10th International Conference on Broadband and Wireless Computing, Communication and Applications (BWCCA) - Krakow, Poland (2015.11.4-2015.11.6)] 2015 10th International Conference on Broadband and Wireless Computing, Communication and Applications (BWCCA) - A Comparative Evaluation of Two Intrusion-Tolerant Routing Protocols for Wireless Sensor Networks

La, Vinh Hoa, Cavalli, Ana Rosa

Year:

2015

Language:

english

File:

PDF, 441 KB

english, 2015

10

[IEEE 2009 IEEE International Geoscience and Remote Sensing Symposium - Cape Town, South Africa (2009.07.12-2009.07.17)] 2009 IEEE International Geoscience and Remote Sensing Symposium - Red mud soil contamination near an urban settlement analyzed by airborne hyperspectral remote sensing

Pascucci, Simone, Belviso, Claudia, Cavalli, Rosa Maria, Laneve, Giovanni, Misurovic, Ana, Perrino, Cinzia, Pignatti, Stefano

Year:

2009

Language:

english

File:

PDF, 583 KB

english, 2009

11

Analysis and Influence of Economical Decisions on the Quality of Experience of OTT Services

Rivera Villagra, Diego, Cavalli, Ana Rosa

Journal:

IEEE Latin America Transactions

Year:

2016

File:

PDF, 535 KB

2016

12

[Lecture Notes in Computer Science] Testing Software and Systems Volume 10533 || Homing Sequence Derivation with Quantified Boolean Satisfiability

Yevtushenko, Nina, Cavalli, Ana Rosa, Yenigün, Hüsnü

Year:

2017

Language:

english

File:

PDF, 278 KB

english, 2017

13

[Lecture Notes in Computer Science] Testing Software and Systems Volume 10533 || n-Complete Test Suites for IOCO

Yevtushenko, Nina, Cavalli, Ana Rosa, Yenigün, Hüsnü

Year:

2017

Language:

english

File:

PDF, 392 KB

english, 2017

14

[Lecture Notes in Computer Science] Testing Software and Systems Volume 10533 || AI for Localizing Faults in Spreadsheets

Yevtushenko, Nina, Cavalli, Ana Rosa, Yenigün, Hüsnü

Year:

2017

Language:

english

File:

PDF, 639 KB

english, 2017

15

[Lecture Notes in Computer Science] Testing Software and Systems Volume 10533 || Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques

Yevtushenko, Nina, Cavalli, Ana Rosa, Yenigün, Hüsnü

Year:

2017

Language:

english

File:

PDF, 832 KB

english, 2017

16

[Lecture Notes in Computer Science] Testing Software and Systems Volume 10533 || Effective Infinite-State Model Checking by Input Equivalence Class Partitioning

Yevtushenko, Nina, Cavalli, Ana Rosa, Yenigün, Hüsnü

Year:

2017

Language:

english

File:

PDF, 1.03 MB

english, 2017

17

[Lecture Notes in Computer Science] Testing Software and Systems Volume 10533 || Using Data Integration for Security Testing

Yevtushenko, Nina, Cavalli, Ana Rosa, Yenigün, Hüsnü

Year:

2017

Language:

english

File:

PDF, 1.17 MB

english, 2017

18

[Lecture Notes in Computer Science] Testing Software and Systems Volume 10533 || Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles

Yevtushenko, Nina, Cavalli, Ana Rosa, Yenigün, Hüsnü

Year:

2017

Language:

english

File:

PDF, 434 KB

english, 2017